Geometric domains with specified pseudo-dimensions
نویسندگان
چکیده
منابع مشابه
Numeric Domains with Summarized Dimensions
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentially unbounded collections of numeric objects. Such domains are of benefit to analyses that verify properties of systems with an unbounded number of numeric objects, such as shape analysis, or systems in which the numb...
متن کاملGeometric CP violation with extra dimensions.
We discuss how CP symmetry can be broken geometrically through orbifold projections in hidden extra dimensions in the context of brane-bulk models for particle unifications. The CP violation arises from a crash between the geometry of the compactification and the original higher dimensional CP definition. We present toy models to illustrate the idea and suggest ways to incorporate it into more ...
متن کاملGeometric Langlands From Six Dimensions
Geometric Langlands duality is usually formulated as a statement about Riemann surfaces, but it can be naturally understood as a consequence of electric-magnetic duality of four-dimensional gauge theory. This duality in turn is naturally understood as a consequence of the existence of a certain exotic supersymmetric conformal field theory in six dimensions. The same six-dimensional theory also ...
متن کاملCondorcet Domains; A Geometric Perspective
One of several topics in which Peter Fishburn [4, 5] has made basic contributions involves finding maximal Condorcet Domains. In this current paper, I develop a geometric approach that, at least for four and five alternatives, is equivalent to Fishburn’s clever alternating scheme (described below), a scheme that has advanced our understanding of the area. To explain “Condorcet Domains” and why ...
متن کاملDistributed Cognition: domains and dimensions
Synthesizing the domains of investigation highlighted in current research in distributed cognition and related fields, this paper offers an initial taxonomy of the overlapping types of resources which typically contribute to distributed or extended cognitive systems. It then outlines a number of key dimensions on which to analyse both the resulting integrated systems and the components which co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2003
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(03)00011-2